<?php
    require 'mysql_db.php';
    
    $db = new Db();
    $all_exts = $db->get_all_extensions();
    echo json_encode($all_exts);
?>
